Gradual Typing with Efficient Object Casts Extended abstract Michael M. Vitousek ∗ Adviser: Jeremy G. Siek † University of Colorado at Boulder

Source URL: homes.soic.indiana.edu

• Data types
• Type theory
• Object-oriented programming languages
• Cross-platform software
• Procedural programming languages
• Gradual typing
• Type system
• This
• Objective-C
• Type safety
• Parameter
• Reference

A foundation for trait-based metaprogramming John Reppy Aaron Turon University of Chicago

Source URL: www.mpi-sws.org

• Type theory
• Classical genetics
• Object-oriented programming languages
• Genetics
• C++
• Trait
• Mixin
• Quantitative trait locus
• Natural selection
• Multiple inheritance
• Inline expansion
• Abstract type

HAL8 Workshop: A Practical Approach to GHC Language Extensions Matthias Fischmann and S¨onke Hahn {mf,sh}@zerobuzz.net May 2, 2013 Abstract

Source URL: www.bioinf.uni-leipzig.de

• Functional programming
• Functional languages
• Data types
• Type theory
• Source code
• Generalized algebraic data type
• Haskell
• Type class
• Lisp
• Macro
• Guard
• Pattern matching

This is the template for COLA-2015 Abstract submission (title is bold, 14-point type, centered; elements, and acronyms should be capitalized) Author name(s) [10-point type, centred, bolded] Author’s affiliation and f

Source URL: cola2015.org

Type Abstract Title Centered in 14 Point Times Roman Bold Font and Use Upper/Lower Case

Source URL: isinn.jinr.ru

V ENUS H OMOTOPICALLY A NDREI RODIN Institute of Philosophy RAS - Saint-Petersburg State University, Russia Abstract The identity concept developed in the Homotopy Type theory (HoTT) supports an

Source URL: philomatica.org

The strength of Martin-L¨of type theory with a superuniverse. Part I Michael Rathjen∗ School of Mathematics, University of Leeds, Leeds LS2 9JT, UK Abstract Universes of types were introduced into constructive type th

Source URL: www1.maths.leeds.ac.uk

Towards Effective Inference and Checking of Ownership Types Wei Huang and Ana Milanova Rensselaer Polytechnic Institute, Troy NY, USA Abstract. We present a checker for the owner-as-dominator type system. We add a flow

Source URL: www.cs.rpi.edu

Deriving Generic Functions by Example Neil Mitchell University of York, UK http://www.cs.york.ac.uk/~ndm/ Abstract. A function is said to be generic if it operates over values of

Source URL: ndmitchell.com

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Data types
• Programming language comparisons
• Type theory
• Higher-order functions
• Fold
• Generic programming
• Map
• Type class

Photometric study and 3D modeling of two asteroids using inversion techniques Raz Parnafes (High school student) | Research work done via the Bareket observatory, Israel. Abstract New photometric observations of the aste

Source URL: www.bareket-astro.com

• Planetary science
• Main-belt asteroids
• S-type asteroids
• Asteroid
• Spaceflight
• 901 Brunsia